A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiA Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Mediumpublikacja drukowana
Tom4160
Zeszyt
Rok wydania2006
Od strony346
Do strony358
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2006

Lista autorów
  
 1. Anh Linh Nguyen, Zakład Logiki Stosowanej [Współautor]